退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于Web的应用程序的自动规范和验证
ter Beek, Maurice H.; Lluch Lafuente, Alberto;
机译:EMMA:用于编程课程的基于网络的报告系统-自动验证和增强的反馈-
机译:规范和自动验证原子并发实时交易
机译:基于Web的应用程序的自动分析和验证的正式框架
机译:Rosetta规范转换的自动验证方法
机译:使用基于Web的应用程序建立医疗程序术语的协作方法:从规格到日常使用
机译:基于Web的应用程序自动分析和验证的形式框架
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:从基于Web的应用程序中自动得出应用程序规范
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。